progress in critical section problem